" Jeremy Gibbons" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Jeremy Gibbons, Jose Nuno Oliveira

Категория: Компьютеры

2.85 Mb

#2

Haskell’10 Proceedings of the 2010 ACM SIGPLAN Haskell Symposium

Jeremy Gibbons (editor)

4.92 Mb

#3

Generic programming: advanced lectures

Roland Backhouse, Jeremy Gibbons

3.01 Mb

#4

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Roland Backhouse, Roy Crole, Jeremy Gibbons

Категория: Cs_Computer science, CsLn_Lecture notes

2.94 Mb

#5

Datatype-Generic Programming school, SSDGP 2006

Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring

Категория: Cs_Computer science, CsLn_Lecture notes

2.63 Mb

#6

Integrated Formal Methods, 6 conf., IFM 2007

Jim Davies, Jeremy Gibbons

Категория: CsLn_

6.13 Mb

#7

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Jeremy Gibbons, Jose Nuno Oliveira

3.71 Mb

#8

Generic Programming: Advanced Lectures

Roland Backhouse, Jeremy Gibbons

3.88 Mb